x:= [1,2];
z := cons([1,2], x)